Subdirect Products of Totally Ordered Implicative Algebras
نویسندگان
چکیده
منابع مشابه
Ordered Compactifications of Products of Two Totally Ordered Spaces
We describe the semilattice of ordered compactifications ofX×Y smaller than βoX×βoY whereX and Y are certain totally ordered topological spaces, and where βoZ denotes the Stone–Čech orderedor Nachbin-compactification of Z. These basic cases are used to illustrate techniques for describing the semilattice of ordered compactifications ofX×Y smaller than βoX×βoY for arbitrary totally ordered topol...
متن کاملPositive Implicative Ordered Filters of Implicative Semigroups
We introduce the notion of positive implicative ordered filters in implicative semigroups. We show that every positive implicative ordered filter is both an ordered filter and an implicative ordered filter. We give examples that an ordered filter (an implicative ordered filter) may not be a positive implicative ordered filter. We also give equivalent conditions of positive implicative ordered f...
متن کاملSubdirect Products of Semirings
Bandelt and Petrich (1982) proved that an inversive semiring S is a subdirect product of a distributive lattice and a ring if and only if S satisfies certain conditions. The aim of this paper is to obtain a generalized version of this result. The main purpose of this paper however, is to investigate, what new necessary and sufficient conditions need we impose on an inversive semiring, so that, ...
متن کاملFuzzy Positive Implicative Ordered Filters of Implicative Semigroups
We consider the fuzzification of the notion of a positive implicative ordered filter in implicative semigroups. We show that every fuzzy positive implicative ordered filter is both a fuzzy ordered filter and a fuzzy implicative ordered filter. We give examples that a fuzzy (implicative) ordered filter may not be a fuzzy positive implicative ordered filter. We also state equivalent conditions of...
متن کاملMaximal n-generated subdirect products
For n a positive integer and K a finite set of finite algebras, let L(n,K) denote the largest n-generated subdirect product whose subdirect factors are algebras in K. When K is the set of all ngenerated subdirectly irreducible algebras in a locally finite variety V, then L(n,K) is the free algebra FV(n) on n free generators for V. For a finite algebra A the algebra L(n, {A}) is the largest n-ge...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1995
ISSN: 0021-8693
DOI: 10.1006/jabr.1995.1061